马克•瑞比托1983年毕业于美国中西州立大学（Midwestern State University）。他是《力量训练基础》（Starting Strength）、《刻薄的重力先生》（Mean Ol’ Mr. Gravity）、《足够强壮了吗？》（Strong Enough?）和本书的作者。他1978 年投身于健身行业，1984 年成为威奇托福尔斯（Wichita Falls）运动俱乐部的所有者。他是1985年获得美国国家力量与体能协会（National Strength and Conditioning Association）认证的首批教练员之一，并且是第一位放弃证书的教练员。作为极具竞争力的力量举运动员，瑞比托有着10 年的参赛经验，并且指导了很多举重者和运动员，以及成千上万的对提升力量和运动表现感兴趣的人。多年以来，他致力于在全美组织研讨会讨...(展开全部)

马克•瑞比托1983年毕业于美国中西州立大学（Midwestern State University）。他是《力量训练基础》（Starting Strength）、《刻薄的重力先生》（Mean Ol’ Mr. Gravity）、《足够强壮了吗？》（Strong Enough?）和本书的作者。他1978 年投身于健身行业，1984 年成为威奇托福尔斯（Wichita Falls）运动俱乐部的所有者。他是1985年获得美国国家力量与体能协会（National Strength and Conditioning Association）认证的首批教练员之一，并且是第一位放弃证书的教练员。作为极具竞争力的力量举运动员，瑞比托有着10 年的参赛经验，并且指导了很多举重者和运动员，以及成千上万的对提升力量和运动表现感兴趣的人。多年以来，他致力于在全美组织研讨会讨...(展开全部)

This text develops a comprehensive theory of programming languages based on type systems and structural operational semantics. Language concepts are precisely defined by their static and dynamic semantics, presenting the essential tools both intuitively and rigorously while relying on only elementary mathematics. These tools are used to analyze and prove properties of languages...(展开全部)

In this innovative book, Professor Robert Harper offers a fresh perspective on the fundamentals of programming languages through the use of type theory. Whereas most textbooks on this subject emphasize taxonomy, Harper instead emphasizes genetics, examining the building blocks from which all programming languages are constructed. The result is an introduction to programming the...(展开全部)

In this innovative book, Professor Robert Harper offers a fresh perspective on the fundamentals of programming languages through the use of type theory. Whereas most textbooks on this subject emphasize taxonomy, Harper instead emphasizes genetics, examining the building blocks from which all programming languages are constructed. The result is an introduction to programming the...(展开全部)

This text develops a comprehensive theory of programming languages based on type systems and structural operational semantics. Language concepts are precisely defined by their static and dynamic semantics, presenting the essential tools both intuitively and rigorously while relying on only elementary mathematics. These tools are used to analyze and prove properties of languages...(展开全部)

布雷特.康特拉斯 出生于美国凤凰城，在北亚利桑那大学获得了学士学位，并在亚利桑那州国立大学获得硕士学位，目前正在攻读新西兰奥克兰理工大学的体育学博士学位。他是一位著名的力量调节训练师及健身训练专家，他在美国各地均进行过讲座及培训。他也是一个著名的专栏作家，为《男性健身》、《肌肉训练》、《有氧运动》等多家杂志撰写文章。

布雷特.康特拉斯 出生于美国凤凰城，在北亚利桑那大学获得了学士学位，并在亚利桑那州国立大学获得硕士学位，目前正在攻读新西兰奥克兰理工大学的体育学博士学位。他是一位著名的力量调节训练师及健身训练专家，他在美国各地均进行过讲座及培训。他也是一个著名的专栏作家，为《男性健身》、《肌肉训练》、《有氧运动》等多家杂志撰写文章。

Over one million readers have turned to Strength Training Anatomy for strength training’s most effective exercises. Now put those exercises to work for you with The Strength Training Anatomy Workout . The Strength Training Anatomy Workout is your guide to creating the body and the results you want. Strengthen arms and legs; increase muscle mass; sculpt chest, back, and...(展开全部)

Over one million readers have turned to Strength Training Anatomy for strength training’s most effective exercises. Now put those exercises to work for you with The Strength Training Anatomy Workout . The Strength Training Anatomy Workout is your guide to creating the body and the results you want. Strengthen arms and legs; increase muscle mass; sculpt chest, back, and...(展开全部)